Distributed knowledge bases : A proposal for argumentation-based semantics with cooperation

O objectivo principal desta dissertação é definir um ambiente de negociação, baseada em argumentação, para bases de conhecimento distribuídas. As bases de conhecimentos são modeladas sobre um ambiente multiagente tal que cada agente possui uma base de conhecimento própria. As bases de conhecimento dos diversos agentes podem ser independentes ou podem incluir conhecimentos comuns. O requisito mínimo para haver negociação num ambiente multiagente é que os agentes tenham a capacidade de fazer propostas, que poderão ser aceites ou rejeitadas. Numa abordagem mais sofisticada, os agentes poderão responder com contra-propostas, com o intuito de alterar aspectos insatisfatórios da pro­ posta original. Um tipo ainda mais elaborado de negociação será o baseado em argumentação. A metáfora da argumentação parece ser adequada à modelação de situações em que os diferentes agentes interagem com o propósito de determinar o significado das crenças comuns. Numa negociação baseada em argumentação, as (contra­) propostas de um agente podem ser acompanhadas de argumentos a favor da sua aceitação. Um agente poderá, então, ter um argumento aceitável para uma sua crença, se conseguir argumentar com sucesso contra os argumentos, dos outros agentes, que o atacam. Assim, as crenças de um agente caracterizam-se pela relação entre os argumentos "internos" que sustentam suas crenças, e os argumentos "externos" que sustentam crenças contraditórias de outros agentes. Portanto, o raciocínio argumentativo baseia-se na "estabilidade externa" dos argumentos aceitáveis do conjunto de agentes. Neste trabalho propõe-se uma negociação baseada em argumentação em que, para chegarem a um consenso quanto ao conhecimento comum, os agentes constroem argumentos que sustentam as suas crenças ou que se opõem aos argumentos dos agentes que as contradizem. Além disso, esta proposta lida com conhecimento incompleto (i.e., argumentos parciais) pela definição de um processo de cooperação que permite completar tal conhecimento. Assim, a negociação entre agentes é um processo argumentativo-cooperativo, em que se podem alternar os argumentos contra e a favor das crenças de um agente. Para a formação das suas crenças, a cada agente Ag está associado um conjunto Cooperate de agentes com quem coopera e um outro Argue de agentes contra quem argumenta. A negociação proposta permite a modelação de bases de conhecimento hierárquicas, representando, por exemplo, a estrutura de uma organização ou uma taxonomia nalgum domínio, e de ambientes multi-agente em que cada agente representa o conhecimento referente a um determinado período de tempo. Um agente também pode ser inquirido sobre a verdade de uma crença, dependendo a resposta do agente em questão e de quais os agentes que com ele cooperam e que a ele se opõem. Essa resposta será, no entanto, sempre consistente/ paraconsistente com as bases de conhecimento dos agentes envolvidos. Esta dissertação propõe semânticas (declarativa e operacional) da argumentação numa base de conhecimento de um agente. Partindo destas, propõe, também, semântica declarativa da negociação baseada em argumentação num ambiente multi-agente. ⓿⓿⓿ ABSTRACT: The main objective of this dissertation is to define an argumentation-based negotiation framework for distributed knowledge bases. Knowledge bases are modelling over a multi-agent setting such that each agent possibly has an independent or overlapping knowledge base. The minimum requirement for a multi-agent setting negotiation is that agents should be able to make proposals which can then either be accepted or rejected. A higher level of sophistication occurs when recipients do not just have the choice of accepting or rejecting proposals, but have the option of making counter offers to alter aspects of the proposal which are unsatisfactory. An even more elaborate kind of negotiation is argumentation-based. The argumentation metaphor seems to be adequate for modelling situations where different agents argue in order to determine the meaning of common beliefs. ln an argumentation-based negotiation, the agents are able to send justifications or arguments along with (counter) proposals indicating why they should be accepted. An argument for an agent's belief is acceptable if the agent can argue successfully against attacking arguments from other agents. Thus, agent's beliefs are characterized by the relation between its "internal" arguments supporting its beliefs and the "external" arguments supporting the contradictory beliefs of other agents. So, in a certain sense, argumentative reasoning is based on the "external stability" of acceptable arguments in the multi-agent setting. This dissertation proposes that agents evaluate arguments to obtain a consensus about a common knowledge by both proposing arguments or trying to build opposing arguments against them. Moreover, this proposal deals with incomplete knowledge (i.e. partial arguments) and so a cooperation process grants arguments to achieve knowledge completeness. Therefore, a negotiation of an agent's belief is seen as an argumentation-based process with cooperation; both cooperation and argumentation are seen as interlaced processes. Furthermore, each agent Ag has both set Argue of argumentative agents and set Cooperate of cooperative agents; every Ag must reach a consensus on its arguments with agents in Argue, and Ag may ask for arguments from agents in Cooperate to complete its partial arguments. The argumentation-based negotiation proposal allows the modelling a hierarchy of knowledge bases representing, for instance, a business's organization or a taxonomy of some subject, and also an MAS where each agent represents "acquired knowledge" in a different period of time. Furthermore, any agent in an MAS can be queried regarding the truth value of some belief. It depends on from which agent such a belief is inferred, and also what the specification in both Argue and Cooperate is, given the overall agents in the MAS. However, such an answer will always be consistent/paraconsistent with the agents' knowledge base involved. This dissertation proposes a (declarative and operational) argumentation semantics for an agent's knowledge base. Furthermore, it proposes a declarative argumentation-based negotiation semantics for a multi-agent setting, which uses most of the definitions from the former semantics

APRENDIZAGEM E GESTÃO DO CONHECIMENTO: UMA ABORDAGEM SOBRE A ESCOLA QUE APRENDE

O presente artigo pretende discutir a relação entre a aprendizagem e a gestão do conhecimento pautada pela teoria da “Escola que aprende” de Peter Senge. A metodologia foi por meio de pesquisa bibliográfica exploratória, aplicando o protocolo RSL. Numa primeira fase é explorado o universo da teoria da “Escola que aprende”, que envolve escola, professores, alunos e pais, para discutir as ligações existentes entre eles e sua relevância para a edificação da sociedade do conhecimento. Na sequência, ocorre a apropriação da gestão do conhecimento e dos conceitos de capital – interno, externo e intelectual – para discutir a formação do conhecimento em benefício da evolução da vida social como um todo. Como resultado desta pesquisa, pode-se salientar a tarefa do docente na atual sociedade e a sua importância para o desenvolvimento dos alunos e, por consequência, da sociedade aprendente

Money Identifier : aplicación de identificador de billete de dinero en dispositivos móviles

Este artigo apresenta a proposta do Money Identifier, um aplicativo para uso em dispositivos móveis (tablets e smartphones), que visa a oportunizar a acessibilidade para pessoas com deficiência visual ou visão reduzida, além de pessoas com dificuldade em identificar e somar dinheiro. O aplicativo surgiu da necessidade de uma aluna cega, e com o auxilio da mesma foi realizada a validação da interface. Serão apresentadas aqui a sua interface e as possibilidades oferecidas pelo aplicativo ao usuário.This paper presents the proposal of Money Identifier, an application for use on mobile devices (tablets and smartphones), which aims to provide accessibility for people with visual impairment or reduced vision, as well as people with difficulty identifying and adding money. The application came from a blind student needs, and the student performed the validation of the app interface. This paper presents here its interface and the possibilities offered by the application to the user.Este artículo tiene la interfaz de Money Identifier, una aplicación para dispositivos móviles (tabletas y teléfonos inteligentes) que tiene como objetivo brindar accesibilidad a las personas con discapacidad visual o visión reducida, así como a las personas con dificultades para identificar y agregar dinero. Aquí se presentará su interfaz y las posibilidades que ofrece la aplicación al usuario

Entorno virtual para simular conducir una silla de ruedas

Este artigo tem, por objetivo, o de apresentar a construção de um simulador virtual para condução de uma cadeira de rodas. Com o uso de tecnologias assistivas pretende-se alcançar um nível de acesso à mobilidade para pessoas com deficiências, tais como as pessoas que possuem baixa mobilidade. Neste sentido, simuladores são desenvolvidos com o intuito de proporcionar situações reais do dia-a-dia, para que os seus usuários possam vivenciar inúmeras vezes a mesma situação e conseguir superá-la da melhor forma possível. Neste contexto, foi desenvolvido um simulador virtual que pode ser adaptado para várias situações diferentes de acordo com a necessidade, sendo composto por três cenários do dia-a-dia, em que foram inseridas algumas dificuldades encontradas por usuários de cadeira de rodas elétricas. O trabalho foi desenvolvido empregando-se a metodologia de pesquisa conhecida como dissertação-projeto, já que foi proposto e desenvolvido o ambiente virtual para a condução da cadeira de rodas.This paper presents the construction of a virtual wheelchair simulator. The use of assistive technologies aims to achieve a level of access to mobility for people with disabilities, such as people with low mobility. In this sense, simulators are developed with the aim of providing real-life situations, so that users can experience the same situation over and over again and overcome it in the best possible way. In this context, a virtual simulator was developed that can be adapted to several different situations according to the need, being composed of three scenarios of the day to day, in which were inserted some difficulties encountered by users of electric wheelchairs. The work was developed using the research methodology known as project dissertation, since it was proposed and developed the virtual environment for the wheelchair driving.Este artículo tiene como objetivo presentar la construcción de un simulador virtual de silla de ruedas. El uso de tecnologías de asistencia tiene como objetivo lograr un nivel de acceso de movilidad para personas con discapacidades, como aquellas con baja movilidad. En este sentido, los simuladores se desarrollan para proporcionar situaciones reales del día a día, de modo que sus usuarios puedan experimentar la misma situación innumerables veces y puedan superarla de la mejor manera posible. En este contexto, se ha desarrollado un simulador virtual que puede adaptarse a muchas situaciones diferentes según sea necesario, que consta de tres escenarios cotidianos, en los que se insertaron algunas dificultades encontradas por los usuarios de sillas de ruedas eléctricas. El trabajo se desarrolló utilizando la metodología de investigación conocida como disertación de proyecto, ya que se propuso y desarrolló el entorno virtual para la conducción en silla de ruedas

Money Identifier: aplicativo identificador de cédulas para dispositivos móveis

This paper presents the proposal of Money Identifier, an application for use on mobile devices (tablets and smartphones), which aims to provide accessibility for people with visual impairment or reduced vision, as well as people with difficulty identifying and adding money. The application came from a blind student needs, and the student performed the validation of the app interface. This paper presents here its interface and the possibilities offered by the application to the user.Este artículo tiene la interfaz de Money Identifier, una aplicación para dispositivos móviles (tabletas y teléfonos inteligentes) que tiene como objetivo brindar accesibilidad a las personas con discapacidad visual o visión reducida, así como a las personas con dificultades para identificar y agregar dinero. Aquí se presentará su interfaz y las posibilidades que ofrece la aplicación al usuario.Este artigo apresenta a proposta do Money Identifier, um aplicativo para uso em dispositivos móveis (tablets e smartphones), que visa a oportunizar a acessibilidade para pessoas com deficiência visual ou visão reduzida, além de pessoas com dificuldade em identificar e somar dinheiro. O aplicativo surgiu da necessidade de uma aluna cega, e com o auxilio da mesma foi realizada a validação da interface. Serão apresentadas aqui a sua interface e as possibilidades oferecidas pelo aplicativo ao usuário

Metodologias Ativas de Aprendizagem: um relato de experiência nas disciplinas de programação e estrutura de dados

The objective of this paper is presents an experience report carried out during the learning-teaching processes in the courses involving the study of algorithms, programming logic, and programming language. in the Degree in Information Systems of Federal University of Santa Maria in the city of Frederico Westphalen - RS. The report presents the strategies and results, obtained from the application of active learning methodologies, placing the student as the center of the process, an active subject in the construction of his knowledge.El propósito del este artículo es presentra una descripción de las experiencias realizadas durante los procesos de enseñanza del aprendizaje en las disciplinas que involucran el estudio de algoritmos, lógica de programación y lenguajes de programación en el curso de Licenciatura en Sistemas de Información de la Universidad Federal de Santa Maria en la ciudad de Frederico Westphalen – RS. El informe presenta las estrategias y los resultados obtenidos de la aplicación de metodologías de aprendizaje activo, colocando al alumno como el centro del proceso, sujeto activo en la construcción de sus conocimientos.O objetivo deste artigo é o de apresentar, por meio de um relato de experiências, as ações realizadas durante os processos de ensino de aprendizagem nas disciplinas envolvendo o estudo de algoritmos, lógica de programação e linguagens de programação no Curso de Bacharelado em Sistemas de Informação da UFSM (Universidade Federal de Santa Maria) – Campus Frederico Westphalen – RS. O relato apresenta as estratégias e os resultados obtidos a partir da aplicação de metodologias ativas de aprendizagem, colocando o aluno como centro do processo, sujeito ativo na construção do seu conhecimento

An Argumentation-Based Negotiation for Distributed Extended Logic Programs

Abstract. The paradigm of argumentation has been used in the literature to assign meaning to knowledge bases in general, and logic programs in particular. With this paradigm, rules of a logic program are viewed as encoding arguments of an agent, and the meaning of the program is determined by those arguments that somehow (depending on the specific semantics) can defend themselves from the attacks of other arguments. Most of the work on argumentation-based logic programs semantics has focused on assigning meaning to single programs. In this paper we propose an argumentation-based negotiation semantics for distributed knowledge bases represented as extended logic programs that extends the existing ones by considering sets of (distributed) logic programs, rather than single ones. For specifying the ways in which the various logic programs may combine their knowledge we make use of concepts that had been developed in the areas of defeasible reasoning, distributed knowledge bases, and multi-agent setting. In particular, we associate to each program P a cooperation set (the set of programs that can be used to complete the knowledge in P ) and the argumentation set (the set of programs with which P has to reach a consensus)

Sala de aula invertida apoiada pela gestão do conhecimento

O distanciamento social imposto pelo Covid-19 fez com que as instituições de ensino passassem por um processo de ressignificação nos processos pedagógicos. Este estudo refina um planejamento de aulas baseado na Sala de Aula Invertida com Aprendizagem Baseada em Problemas e Orientação por meio de Projetos. Neste planejamento têm-se também práticas e ferramentas da Gestão do Conhecimento (GC) que podem ser vistas como estratégias que permitem, por exemplo, captar, estruturar e mapear conhecimentos como reutilizar conhecimento já estruturado. As adaptações feitas nesse planejamento permitem que ocorram momentos “antes” e “depois” das aulas remotas online. A metodologia adotada contempla pesquisa aplicada com abordagem qualitativa através de pesquisa descritiva de estudo de caso, após pesquisa bibliográfica exploratória e documental. Observou-se maior envolvimento, por parte dos alunos, para exporem os seus trabalhos e/ou dúvidas nas aulas remotas online. Isto proporcionou que as aulas fossem mais interessantes e participativas, o professor pode dar feedback sobre os trabalhos fazendo com que a “dúvida, erro ou acerto de um aluno” pudesse ser esclarecida e compreendida por todos. Espera-se com este estudo contribuir com as estratégias para promover a aprendizagem em períodos de isolamento social similares ao ocorrido com Covid-19

Knowledge management in the software industry: how Scrum activities support a knowledge management cycle

Knowledge is the primary asset of the software industry which increases the complexity of the software development activities. Knowledge Management (KM) is an important practice that offers processes namely KM cycles and addressed to knowledge capture, creation, storage, dissemination, sharing, and use. Thereby, understanding different means to consolidate individual’s knowledge within the software industry is relevant to software development practitioners and researchers. Therefore, this article discusses how Scrum activities support KM cycle to convert the individual’s knowledge into common knowledge within software development teams. Our analysis points out that KM cycle combined with Scrum practices is a potential tool to disseminate individual knowledge across software development team members